Skip to content

doc status badge#58

Merged
JeanLucPons merged 1 commit intomainfrom
simoneliuzzo-patch-1
Nov 6, 2025
Merged

doc status badge#58
JeanLucPons merged 1 commit intomainfrom
simoneliuzzo-patch-1

Conversation

@simoneliuzzo
Copy link
Copy Markdown
Contributor

documentation status restored

documentation status restored
Copy link
Copy Markdown
Contributor

@JeanLucPons JeanLucPons left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks !

@JeanLucPons JeanLucPons merged commit 2c3a1c7 into main Nov 6, 2025
2 checks passed
@simoneliuzzo
Copy link
Copy Markdown
Contributor Author

@JeanLucPons
in fact the doc build is passing, but the doc online does not look as the doc locally built.

@JeanLucPons
Copy link
Copy Markdown
Contributor

This is a nightmare.
May be we have to wait a bit....

@gubaidulinvadim gubaidulinvadim deleted the simoneliuzzo-patch-1 branch December 17, 2025 08:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants